f compose p == g compose p